Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| Convention T: is part of the theory of truth by A. Tarski, which contains the demand that in the so-called W-schema Tr(x) <> p with the example instance "snow is white" is true, if and only if snow is white, the right side of the equivalence, is so that p is a translation of the expression x on the left side into the meta-language of the theory, whereby the meta-language must be inter alia rich enough to contain the predicate "is true". From this follows a derivability of arbitrarily many other instances of the schema._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
| Author | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
Alfred Tarski on Convention T - Dictionary of Arguments
Berka I 476f Def Convention T/original place/Tarski: We will call a true definition of truth a formally correct definition of the symbol "Wr" ("class of all true statements") formulated in terms of the metalanguage if it leads to the following conclusions: I 477 α) all sentences that are gained from the expression "x ε Wr iff "p" by inserting for the symbol x a structurally descriptive name of an arbitrary statement in the considered language ((s) of the object language) and for the symbol "p" the expression that is the translation of this statement in the meta language; β) the statement "for an arbitrary x - if x ε Wr, then x ε AS" (or in other words ""Wr < AS"). New in relation to Chapter 1: introduction of the meta language.(1) >Object language, >Metalanguage. I 451 Definition structural-descriptive name/Tarski: ((s) different category than the quotation names): describe, of what words the expression, designated by the name, consists and of which characters each individual word consists and in what order they follow one another - goes without quotation marks. Method: introduce single names for all letters and other characters ((s) no quotation names). E.g. for letters f, j, P, etc.: Ef, Jay, Pee, E.g. to the quotation name ""snow"" ((s) quotation marks twice) corresponds the structural-descriptive name: the word that consists of the six consecutive letters Es, En, O, double-u - ((s) letter names without quotation marks). 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935_____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
||
> Counter arguments against Tarski
> Counter arguments in relation to Convention T
Ed. Martin Schulz, access date 2024-04-27